Metapromela: A Toolkit for Simulation of Checkpointing Algorithms

Distributed checkpointing algorithms play an important role in the majority of the fault tolerant software components existent today. Unfortunately, there is a lack of comprehensive and uniform performance testing of those algorithms. Our research focuses on the provision of a toolkit, Metapromela, that helps with the implementation and testing of distributed checkpointing algorithms. This paper is concerned primarily with the description of Metapromela and the characteristics that make it a good tool for the evaluation of checkpointing algorithms.